Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
511	Robotics, Temporal Logic and Stream Reasoning Patrick Doherty1∗, Fredrik Heintz1 and Jonas Kvarnström1 Linköping University, Department of Computer and Information Sciences, S[removed]Linköping, Sweden patrick.dohert Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2015-01-26 06:34:59 Model theory Metalogic Philosophical logic Linear temporal logic First-order logic Temporal logic Interpretation Well-formed formula Modal logic Logic Formal languages Logical syntax
512	A Compositional Framework for Passive Linear Networks John C. Baez Centre for Quantum Technologies National University of Singapore Singapore[removed]and Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2014-10-10 21:48:50 Electronic circuits Linear circuit Network analysis Capacitor Resistor Electrical impedance Function Linear temporal logic Electronic engineering Electronics Electromagnetism
513	14 Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990 Linear Logic Displayed NUEL BELNAP Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2011-02-14 12:57:38 Proof theory Substructural logic Logic in computer science Philosophical logic Linear logic Intuitionistic logic Axiom Sequent calculus Negation Logic Mathematical logic Non-classical logic
514	Reasoning about Normative Update Natasha Alechina University of Nottingham Nottingham, UK [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-04-23 07:25:54 Linear temporal logic Mathematical logic Logic Norm Modal logic
515	Ascribing beliefs to resource bounded agents Natasha Alechina Brian Logan School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2003-06-07 19:12:08 Mathematical logic Formal languages Metalogic Interpretation First-order logic Well-formed formula Entailment Modal logic Linear temporal logic Logic Model theory Logical syntax
516	Norm Approximation for Imperfect Monitors Natasha Alechina Mehdi Dastani Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:55:37 Linear temporal logic Temporal logic
517	Postulates and a linear-time algorithm for minimal preference contraction EXTENDED ABSTRACT Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:05:55 Logic programming Science Consumer theory Social psychology Preference Contraction Axiom Belief revision Knowledge representation Logic
518	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
519	Reasoning about Normative Update Natasha Alechina University of Nottingham Nottingham, UK [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-17 10:30:30 Linear temporal logic Mathematical logic Logic Norm Modal logic
520	Reasoning about Joint Action and Coalitional Ability in Kn with Intersection 1 ˚ Thomas Agotnes and Natasha Alechina2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:39:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Function Constructible universe Linear temporal logic Μ operator Mathematics Logic Mathematical logic

UPDATE